O(jpjjtj)-algorithm to Compute a Cover of S-components in Efc-nets
نویسنده
چکیده
For a strongly connected Extended-Free-Choice Net (EFC-net) N the algorithm given in this paper either nds a cover of S-components or recognizes that N is not well-formed. Well-formedness denotes the existence of a live and bounded marking for N. The algorithm is also adaptable to compute a cover of T-components. The time complexity is O(jPjjTj). According to the Rank Theorem, nding a cover of Sand T-components is useful for recognizing well-formed EFC-nets. Employing the new algorithm allows to decide well-formedness for EFC-nets in O(jPjjTj 2).
منابع مشابه
STRUCTURAL OPTIMIZATION USING BIG BANG-BIG CRUNCH ALGORITHM: A REVIEW
The big bang-big crunch (BB-BC) algorithm is a popular metaheuristic optimization technique proposed based on one of the theories for the evolution of the universe. The algorithm utilizes a two-phase search mechanism: big-bang phase and big-crunch phase. In the big-bang phase the concept of energy dissipation is considered to produce disorder and randomness in the candidate population while in ...
متن کاملTighter Estimates for epsilon-nets for Disks
The geometric hitting set problem is one of the basic geometric combinatorial optimization problems: given a set P of points, and a set D of geometric objects in the plane, the goal is to compute a smallsized subset of P that hits all objects in D. In 1994, Bronniman and Goodrich [5] made an important connection of this problem to the size of fundamental combinatorial structures called -nets, s...
متن کاملMonitoring and Prediction of Land Use/Cover Changes in Shadegan International Wetland, Iran
Quantifying land use/land cover changes is essential to monitor and assess the ecological consequences of human disturbances. Ecological condition and water quality of wetlands are highly related to the landscape characteristics, including land use/land cover (LULC) types and their fractions in the upland and the surrounding landscape. The changing characteristics of LULC in Shadegan Internatio...
متن کاملNETS AND SEPARATED S-POSETS
Nets, useful topological tools, used to generalize certainconcepts that may only be general enough in the context of metricspaces. In this work we introduce this concept in an $S$-poset, aposet with an action of a posemigroup $S$ on it whichis a very useful structure in computer sciences and interestingfor mathematicians, and give the the concept of $S$-net. Using $S$-nets and itsconvergency we...
متن کاملLand cover land use mapping and change detection analysis using geographic information system and remote sensing
Land cover/land use categories are relevant components in land management. Understanding how land cover/land use change over time is necessary to assess the consequences of humans and natural stressors on the earth’s environment and resources. The aim of the study was to map and monitor the spatial and temporal change in land cover/land use for the periods of 1977, 1991 and 2016 and to predict ...
متن کامل